…merge) (#102)

## Summary

Restores neurophone to **MPL-2.0** throughout, per the canonical estate
license policy ([owner directive
2026-06-02](https://github.com/hyperpolymath/), [memory:
feedback_estate_license_policy_umbrella]).

**Two commits:**

1. **Revert #81** — `chore(license): normalize SPDX headers to
PMPL-1.0-or-later` was admin-merged in the 2026-06-02 estate sweep by
mistake. It went the wrong direction (MPL→PMPL) and also conflated SPDX
changes with adding new docs/proofs scaffolding. The revert restores:
pre-#81 LICENSE text + LICENSES/MPL-2.0.txt + NOTICE + 19 SPDX flips.
2. **Sweep stray PMPL→MPL** — flips the remaining 118 files that already
had `SPDX-License-Identifier: PMPL-1.0-or-later` from before #81
(canonical-memory-documented drift across `.kt`, AndroidManifest, `.sh`
hooks, `.machine_readable/`, `.github/workflows/`, crates). Also
normalises 1 invalid `MPL-2.0-or-later` identifier (CONTRIBUTING.adoc)
to `MPL-2.0`.

## Why

Per the canonical 5-way license matrix ([estate-license-policy-umbrella
memory](file)):

| Category | License | Applies to |
|---|---|---|
| Sole owner repos (default) | MPL-2.0 | neurophone falls here |
| 007 | All Rights Reserved | — |
| Shared with son | AGPL-3.0-or-later | — |
| Third-party / forks | LEAVE ALONE | — |
| Palimpsest carve-out | PMPL-1.0-or-later | palimpsest-license +
palimpsest-plasma + consent-aware-http only |

PMPL in neurophone violates the matrix. Owner directive 2026-06-02
reinforced this explicitly.

## Excluded from sweep

- `LICENSES/PMPL-1.0-or-later.txt` — the PMPL license-text file itself
(legitimate reference, restored by revert)
- `NOTICE` — governance prose, restored to pre-#81 state by revert
- `PALIMPSEST.adoc` — concept doc retained (only its own SPDX header
swept to MPL-2.0)

## Cost of mis-merge — what was lost (and how to recover)

Reverting #81 also dropped 4 new docs + proofs/ scaffolding that the PR
had bundled in:
- \`docs/architecture.adoc\` (149 lines)
- \`docs/build.adoc\` (72 lines)
- \`docs/installation.adoc\` (113 lines)
- \`docs/usage.adoc\` (41 lines)
- \`proofs/README.adoc\` + \`proofs/dafny/README.adoc\` +
\`proofs/lean/README.adoc\` + \`proofs/tla/Lifecycle.tla\`

These can be reintroduced cleanly in a separate, license-free PR after
this lands. They were not retained in this PR to keep scope tight
(license correction only).

## Test plan

- [ ] grep \`SPDX-License-Identifier:.*PMPL\` returns only
\`LICENSES/PMPL-1.0-or-later.txt\` + \`NOTICE\` (legitimate)
- [ ] grep \`SPDX-License-Identifier:.*MPL.*or-later\` returns nothing
(invalid id eliminated)
- [ ] CI green (governance / licence consistency should now pass)

🤖 Generated with [Claude Code](https://claude.com/claude-code)

---------

Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

…affolding (follow-up to #102) (#120)

## Summary

Restores the 8 docs+proofs files that PR #81 added but #102 had to drop
while reverting #81's wrong-direction license change. Per #102's PR
body:

> "Reverting #81 also dropped 4 new docs + proofs/ scaffolding... These
can be reintroduced cleanly in a separate, license-free PR after this
lands."

This is that PR.

## Files (all NEW, no edits to existing content)

| File | Purpose |
|---|---|
| `docs/architecture.adoc` | LSM/ESN/bridge architecture (149 lines) |
| `docs/build.adoc` | Build instructions (72 lines) |
| `docs/installation.adoc` | Installation guide pointed-to by README
(113 lines) |
| `docs/usage.adoc` | Usage docs (41 lines) |
| `proofs/README.adoc` | Proof corpus index |
| `proofs/dafny/README.adoc` | Dafny/F* proofs subdirectory |
| `proofs/lean/README.adoc` | Lean/Coq proofs subdirectory |
| `proofs/tla/Lifecycle.tla` | TLA+ lifecycle obligation 2.1 (issue #84)
|

## Licensing

All 8 files carry \`SPDX-License-Identifier: MPL-2.0\` per the canonical
estate license policy (neurophone = sole-owner repo). #81 had originally
added these with PMPL stamps; this PR adds them with the correct MPL-2.0
SPDX from the start.

## Verification

\`\`\`sh
grep -r 'SPDX-License-Identifier' docs/architecture.adoc docs/build.adoc
\\
  docs/installation.adoc docs/usage.adoc proofs/
\`\`\`

All 8 files report \`MPL-2.0\`.

## Test plan

- [ ] CI green (no new SPDX violations)
- [ ] Files render correctly (asciidoctor + TLA+ syntax)
- [ ] \`docs/installation.adoc\` link from README.adoc resolves

## Why draft

License sweep aftermath; owner sight on docs reintroduction before
flipping to ready.

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>